【作者】 王浩（1921—1995）近代著名数理逻辑学家。曾任教于牛津大学、哈佛大学等世界 名校。著有《逻辑之旅》《哥德尔》《超越分析哲学》。 【译者】 高坤，北京大学哲学博士，现任教于山西大学科学技术哲学研究中心，主要从事逻辑与数学哲学方面的研究。 邢滔滔，北京大学哲学系教授。著有《数理逻辑》等。

【作者】 王浩（1921—1995）近代著名数理逻辑学家。曾任教于牛津大学、哈佛大学等世界 名校。著有《逻辑之旅》《哥德尔》《超越分析哲学》。 【译者】 高坤，北京大学哲学博士，现任教于山西大学科学技术哲学研究中心，主要从事逻辑与数学哲学方面的研究。 邢滔滔，北京大学哲学系教授。著有《数理逻辑》等。

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of...(展开全部)

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of...(展开全部)

This is a reproduction of a book published before 1923. This book may have occasional imperfectionssuch as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as ...(展开全部)

In this exploration of the "very first utterance of philosophers," F. M. Cornford showed that the remarkable burst of abstract speculation among pre-Socratic thinkers of the sixth century B.C. emerged directly from the religious thought of the preceding era in Greece. Combining profound classical scholarship with striking anthropological and sociological insight, Cornford rejec...(展开全部)

In their new book From Mathematics to Generic Programming, C++ STL creator Alexander Stepanov and Information Retrieval researcher Daniel Rose show how programmers can become more effective by learning about the idea of abstraction and the math it relies on. In an engaging and accessible fashion, they describe how these mathematical results were first discovered and are surpris...(展开全部)

In their new book From Mathematics to Generic Programming, C++ STL creator Alexander Stepanov and Information Retrieval researcher Daniel Rose show how programmers can become more effective by learning about the idea of abstraction and the math it relies on. In an engaging and accessible fashion, they describe how these mathematical results were first discovered and are surpris...(展开全部)

One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in ...(展开全部)